how to write a proof by contradiction